大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Component-Based Software Engineering [electronic resource] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings

0
索取号：
作者：Grunske、 Lars.、Reussner、 Ralf.、Plasil、 Frantisek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Experimental Algorithms [electronic resource] : 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings

0
索取号：
作者：Festa、 Paola.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Cryptology-EUROCRYPT 2010 [electronic resource] : 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 鈥ʵne 3, 2010. Proceedings

0
索取号：
作者：Gilbert、 Henri.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Science-Theory and Applications [electronic resource] : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings

0
索取号：
作者：Ablayev、 Farid.、Mayr、 Ernst W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Language and Automata Theory and Applications [electronic resource] : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings

0
索取号：
作者：Dediu、 Adrian-Horia.、Fernau、 Henning.、Mart铆n-Vide、 Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Bioinformatics Research and Applications [electronic resource] : 6th International Symposium, ISBRA 2010, Storrs, CT, USA, May 23-26, 2010. Proceedings

0
索取号：
作者：Borodovsky、 Mark.、Gogarten、 Johann Peter.、Przytycka、 Teresa M.、Rajasekaran、 Sanguthevar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Intelligent Data Analysis IX [electronic resource] : 9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010. Proceedings

0
索取号：
作者：Cohen、 Paul R.、Adams、 Niall M.、Berthold、 Michael R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Public Key Cryptography-PKC 2010 [electronic resource] : 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings

0
索取号：
作者：Nguyen、 Phong Q.、Pointcheval、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Reconstruction of Macroscopic Maxwell Equations [electronic resource] : A Single Susceptibility Theory

0
索取号：
作者：Cho、 Kikuo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Hamiltonian Chaos Beyond the KAM Theory [electronic resource] : Dedicated to George M. Zaslavsky (1935鈥ⰰ8)

0
索取号：
作者：Luo、 Albert C. J.、Afraimovich、 Valentin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computational Modeling of Objects Represented in Images [electronic resource] : Second International Symposium, CompIMAGE 2010, Buffalo, NY, USA, May 5-7, 2010. Proceedings

0
索取号：
作者：Barneva、 Reneta P.、Brimkov、 Valentin E.、Hauptman、 Herbert A.、Natal Jorge、 Renato M.、Tavares、 Jo茫o Manuel R. S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Real Options Valuation [electronic resource] : The Importance of Interest Rate Modelling in Theory and Practice

0
索取号：
作者：Schulmerich、 Marcus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

High Performance Computing Systems and Applications [electronic resource] : 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009, Revised Selected Papers

0
索取号：
作者：Mewhort、 Douglas J. K.、Cann、 Natalie M.、Slater、 Gary W.、Naughton、 Thomas J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

High-Temperature Cuprate Superconductors [electronic resource] : Experiment, Theory, and Applications

0
索取号：
作者：Plakida、 Nikolay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Logic-Based Program Synthesis and Transformation [electronic resource] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

0
索取号：
作者：Schreye、 Danny.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intersection Spaces, Spatial Homology Truncation, and String Theory [electronic resource]

0
索取号：
作者：Banagl、 Markus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.